Lineare Differentialgleichungen unendlich hoher Ordnung mit ganzen rationalen Koeffizienten

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Trajektorienplanung für die Steuerung gewisser linearer Systeme mit verteilten Parametern (Trajectory Planning for the Control of some Linear Distributed Parameter Systems)

Der Entwurf von Steuerungen und die Trajektorienplanung für lineare Systeme mit örtlich verteilten Parametern und konzentrierten Stelleingriffen können in gewissen Fällen auf der Basis von Potenzreihendarstellungen erfolgen. Es wird eine Methode vorgestellt, mit der diese Reihendarstellungen systematisch auch für solche partiellen Differentialgleichungen hergeleitet werden können, deren Koeffiz...

Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung

Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...

Dezentrale Steuerung verteilter Anwendungen mit rationalen Agenten

Herkömmliche Methoden für die Steuerung und Koordination verteilter Anwendungen mit weitgehend autonomen Diensten und Prozessen in heterogenen, sich dynamisch ändernden Umgebungen beruhen oft auf zentralen Steuerungskomponenten und statischen Zustandsund Prozessbeschreibungen. Sie berücksichtigen damit sowohl die Autonomie der Teilprozesse als auch die Dynamik des Anwendungskontextes noch zu we...

Lösung parabolischer Differentialgleichungen mit zufälligen Randbedingungen mittels FEM

In dieser Arbeit werden stochastische Charakteristiken der Lösung parabolischer Differentialgleichungen mit zufälligen Neumann-Randbedingungen mit Hilfe der Finite-Elemente-Methode angegeben. Dabei wird der Berechnung der Korrelationsbzw. Varianzfunktion besondere Bedeutung beigemessen. Das stochastische Randanfangswertproblem wird durch Anwendung von FEM-Techniken durch ein System gewöhnlicher...